ADD_LIBRARY(Mps SHARED  libMps.cpp)

INSTALL (TARGETS Mps DESTINATION lib)

INSTALL (FILES libMps.h
	DESTINATION include/libMps)
	
INCLUDE_DIRECTORIES(..)
TARGET_LINK_LIBRARIES(Mps -lSemphella)


